PATH=/home/linuxbrew/.linuxbrew/bin:/home/linuxbrew/.linuxbrew/sbin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:/home/gaetan/.fzf/bin:/home/gaetan/.local/bin:/home/gaetan/GitHub/UMons/MAB2/storm/build/bin:/home/gaetan/GitHub/UMons/MAB2/prism-games/prism/bin